1. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :
پدیدآورنده : Hans Hermes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.
2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
پدیدآورنده : Hermes, Hans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
H4
1978
3. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
4. Eine Termlogik mit Auswahloperator
پدیدآورنده : Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
5. Einfuhrung in die Verbandstheorie
پدیدآورنده : Hermes, Hans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Lattice theory
رده :
QA
171
.
5
.
H47
1967
6. Einfuhrung in die Verbandstheorie
پدیدآورنده : Hermes, Hans.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Lattice theory
رده :
QA
1
.
G7
v
.
73
1967
7. Einführung in die Verbandstheorie.
پدیدآورنده : Hans Hermes
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Einführung.,Lattice theory.,Treillis, Théorie des.
رده :
QA171
.
5
H367
1967
8. Einführung in die mathematische Logik :
پدیدآورنده : von Hans Hermes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering.
رده :
QA9
.
V664
1972
9. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
پدیدآورنده : Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
10. Einführung in die Verbandstheorie
پدیدآورنده : /Hans Hermes.
موضوع : نظریه شبکه ( لاتیس)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Enumerability · Decidability Computability
پدیدآورنده : by Hans Hermes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.
12. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
14. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Introduction to mathematical logic
پدیدآورنده : / Hans Hermes; translated from German by Diana Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
H553
16. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H47I513
1973
17. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H4
18. Posthumous writings
پدیدآورنده : Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
19. Posthumous writings
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
3
.
F73N213
20. Posthumous writings /
پدیدآورنده : Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA3
.
F74213
1979
